1. Creating modern probability :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Probabilities-- History.

رده :
QA273
.
V66
1994eb

2. Creating modern probability :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Probabilities-- History.

رده :
QA273
.
V66
1994eb

3. Creating modern probability : its mathematics, physics, and philosophy in historical perspective

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: History ، Probabilities

رده :
QA
273
.
V66C7

4. Elements of Logical Reasoning

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق

رده :
QA9
.
V66
2013

5. Elements of logical reasoning /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical,Reasoning

رده :
QA9
.
V66
2013

6. Proof Analysis: A Contribution to Hilbert's Last Problem

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)

موضوع: HISTORY,Religion and Philosophy

7. Proof analysis :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Proof theory

رده :
QA9
.
54
.
N438
2011

8. Proof analysis

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Proof theory

رده :
E-BOOK

9. Saved from the Cellar

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

رده :
E-Book
,

10. Structural proof theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)

موضوع: Proof theory

رده :
QA9
.
54
.
N4S8

11. Structural proof theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Proof theory

رده :
QA
9
.
54
.
N44